Description

Say we have two executions with the following coveredInstructions respectively:

Instruction(className=org/example/Main, methodSignature=methodUnderTest(Z)V, lineNumber=9, id=9)
Instruction(className=org/example/Main, methodSignature=methodUnderTest(Z)V, lineNumber=10, id=10)
Instruction(className=org/example/Main, methodSignature=methodUnderTest(Z)V, lineNumber=10, id=11)

Instruction(className=org/example/Main, methodSignature=methodUnderTest(Z)V, lineNumber=9, id=9)

Instruction with id=9 used to not be considered a branch instruction because it's always followed by instruction with id=10, while in reality it is a branch instruction because sometimes it's the last instruction and sometimes it is not.

Self-check list

Check off the item if the statement is true. Hint: [x] is a marked item.

Please do not delete the list or its items.

• I've set the proper labels for my PR (at least, for category and component).
• PR title and description are clear and intelligible.
• I've added enough comments to my code, particularly in hard-to-understand areas.
• The functionality I've repaired, changed or added is covered with automated tests.
• Manual tests have been provided optionally.
• The documentation for the functionality I've been working on is up-to-date.